A history of time